<html>
<head>
<script>
  document.documentElement.currentStyle;
  document.documentElement.currentStyle;
  document.documentElement.currentStyle;
  document.documentElement.currentStyle;
  document.documentElement.currentStyle;
  for (var i = 0; i < 100; i++)
    document.documentElement.currentStyle;
</script>
</html>
